The Symbolic - PDFSEARCH.IO - Document Search Engine

The Symbolic
Results: 605

#	Item
241	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
242	borderlands e -jo u rn a l w w w .b o rd e rla n d s .n e t.a u VOLUME 12 NUMBER 1, 2013 Add to Reading List Source URL: www.borderlands.net.au Language: English - Date: 2013-10-17 15:13:45 Structuralism Psychoanalysis Philosophy of sexuality Philosophy Critical theory Lack Jouissance The Imaginary The Symbolic Jacques Lacan Psychoanalytic theory Poststructuralism
243	LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 83–110, 1994 c 1994 Kluwer Academic Publishers – Manufactured in The Netherlands Subcontinuations∗ ROBERT HIEB† Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-14 16:11:46 Control flow Continuations Lisp programming language Subroutines Functional programming Continuation Call-with-current-continuation Delimited continuation Lambda calculus Software engineering Computing Computer programming
244	O f m y t h ic p ro p o rtion : a commenta ry on p r esence and time b y K ate B r iggs T Add to Reading List Source URL: www.kallirolfecontemporaryart.com Language: English - Date: 2015-01-28 22:34:03 Structuralism Philosophy of sexuality Continental philosophy Philosophy Social philosophy Sinthome The Symbolic The Imaginary Jouissance Jacques Lacan Psychoanalytic theory Poststructuralism
245	New Title From Berghahn Books DANCING AT THE CROSSROADS Memory and Mobility in Ireland Helena Wulff Dancing at the crossroads used to be young people´s opportunity to meet and enjoy themselves on mild summer evenings in Add to Reading List Source URL: www.nofod.org Language: English - Date: 2014-03-18 07:26:57 Helena Wulff Symbolic anthropology Entertainment Irish dance Berghahn Books Email Fax Dance hall Anthropology Technology Cultural anthropology
246	6 –12 MONTHS BEFORE  Contact wedding coordinator to choose a wedding date  Indicate if you would like a Symbolic or Legal ceremony (note: selecting a legal ceremony date may take longer as the coordinator will n Add to Reading List Source URL: www.dreamsresorts.com Language: English - Date: 2013-10-03 12:42:25 Party Ontology Anthropology Wedding Rehearsal dinner
247	O f m y t h ic p ro p o rtion : a commenta ry on p r esence and time b y K ate B r iggs T Add to Reading List Source URL: kallirolfecontemporaryart.com Language: English - Date: 2015-01-28 22:34:03 Structuralism Philosophy of sexuality Continental philosophy Philosophy Social philosophy Sinthome The Symbolic The Imaginary Jouissance Jacques Lacan Psychoanalytic theory Poststructuralism
248	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
249	Music, Desire and the Social I a n A n d r e w s. originally published: NMA 8, Brunswick, NMA Publications 1990. Add to Reading List Source URL: ian-andrews.org Language: English - Date: 2007-09-28 00:06:12 Philosophy of sexuality Psychoanalytic theory Charles Sanders Peirce Knowledge Poststructuralism Julia Kristeva Sign The Symbolic Representation Semiotics Science Philosophy
250	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics

UPDATE